Constant weakest pre-condition
[计] 恒最弱前置条件
🧩 词语组成解析
a. 弱的( weak的最高级 ); 微弱的; 无说服力的; 淡的
abbr. 炼油工程师（Petroleum Refining Engineer）
condition
[kən'dɪʃən]
n. 状态;环境;健康状况;条款;
vt. 制约;限制;使习惯于;使适应;
vt.& vi. 对…具有重要影响;影响（某事发生的方式）;保持（头发或皮肤等的）健康;养护;
con共同+dit给予+ion抽象名词→共同给出的东西 → 条件
🗣️ 情景例句
If there's anything you need, please call me.
假如你们需要什么， 请打电话给我。
To cross the street
横穿马路
He may never be sure where the next meal is coming from, but his is free from the thousands of anxieties which afflict other people.
他可能从不知道下顿饭有无着落，但他不像有人那样被千万桩愁事所折磨。